0.39/0.58	unsat
