Fix spelling mistake satisfyExcact -> satisfyExact