GRASP_(SAT_solver) loading ...