unsat bug solve