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