Dungeon crawlingMax 3-SAT