Solver & task