solve floor((a*b mod n)/a)=b and ab>=n for a > 0 and b > 0 and n > 0