7.48/10.70	unsat
