You need to state that x and y are whole numbers. The lower bound on x is 13, given that restriction. If you decide to let x and y be non-negative real numbers, you'll get an infinite number of solutions with a lower-bound of x = 4*(log(40))^2/9/(log(2)^2) and y=0.