138.08/141.87	unsat
