finished solver, still to be tested