7.09/10.70	unsat
