0.08/0.58	unsat
