0.40/0.58	unsat
