5.78/6.80	unsat
