Comment on The answer is 2011. The question can be brute force.Comments−munin14yisn't this what SAT solvers are for?
Comments
isn't this what SAT solvers are for?