Had Oklahoma State won versus Baylor would Cincinnati have still gotten in?