solve 10 - 5*x - 10*x - u = 0 and 1 = u*x