141.23/141.59	unsat
