Migrated from folder: aoc2023/aoc_2023_12_sat