140.56/141.04	unsat
