everything works bitches

this turns a 3-SAT problem into a mario map