0.60/0.74	unsat
