solve x+y+z==4 and x-2y-17z==56