Solver actually solves now