Fixed unsat bug