9.38/12.70	unsat
