Sat Solver is broken.