New: problemsolver