Solving Hexiom really fast with a SAT solver. | Heykuki News