Started working on the SAT evaluation problem.