Solver attempt