Same here! Just thought it was a funny fluke, so I tried again, same again. Guess SAT solving is just really easy