0.31/0.58	unsat
