6.68/6.74	unsat
