SimpleSolver Logic