https://www.linegames.org/id/SAT-Crunch-codes/1069/