Transforms 3SAT problems into playable Super Mario Bros levels