I quite like this game but it does feel a little like I'm a human SAT solver.