Solve x1 x2 x3 0