solver_util_test -> basic_solver_test