pull down to refresh

It's really wild but they say satisfiability can be reduced to a 3-coloring problem...