Score of 0.794 Achieved on the Automated Reasoning Challenge | Dark Hacker News