3.72/5.74	unsat
