8.32/12.70	unsat
