0.58/0.74	unsat
