xは正の実数を少数第7位で切り捨てたものとする
ｙは正の整数とする
zは正の実数を少数第3位で切り捨てたものとする

このとき、全てのx,y,zについて

x/y*z　=　INT（x/y*z+p)

となる最大のpを求めよ

ここでINT()は、小数部切捨て関数を意味する。