0.50/0.58	unsat
