People have been looking for one of these for decades. Guess Moore's Law (and SAT solvers) have finally caught up to this problem!