141.46/141.95	unsat
