moved SATResolver to solver/details