Zelda maze equivalent to 3-SAT, implemented by the Solarus engine