problem is not in x_unassignable, its in solveable? method, added test