8.18/10.70	unsat
