137.83/141.70	unsat
