6.60/6.74	unsat
