Solver draft