What is the shirt no with a position of setter, a nationality of Italy, and height larger than 172?
CREATE TABLE "team_roster_season_2013_2014" (
  "shirt_no" real,
  "nationality" text,
  "player" text,
  "birth_date" text,
  "height" real,
  "position" text
);
SELECT SUM("shirt_no") FROM "team_roster_season_2013_2014" WHERE "position"='setter' AND "nationality"='italy' AND "height">172;