141.13/141.50	unsat
