PuzzleBench: Can LLMs Solve Challenging First-Order Combinatorial Reasoning Problems?