5.24/6.74	unsat
