solver return type, solver tests