5.16/6.74	unsat
