pattern is now always solvable