Problem Solving Approach: The Hardest SAT Question Ever