Challenging SAT Problems with Detailed Answers