8.17/10.70	unsat
