139.70/141.56	unsat
