5.37/6.74	unsat
