effective SAT problem-solving