141.44/141.78	unsat
