6.48/8.70	unsat
