SolverPatternsTest