6.48/8.80	unsat
