A sat solver of Problem Solving class.