0.39/0.88	unsat
