6.72/6.80	unsat
