140.44/141.20	unsat
