solve (x1+0+0 = 1, x4+0 = 6, x1+x2+0 = 5)