solve 10*x+3*y+0.5*z=100, x+y+z = 100 over the integers