Sat Solver to Logic