What is the socket type for the processor with a multiplier 1 of 11.5x?
CREATE TABLE "tyler" (
  "model_number" text,
  "frequency" text,
  "l2_cache" text,
  "multiplier_1" text,
  "voltage" text,
  "socket" text,
  "release_date" text,
  "order_part_number" text
);
SELECT "socket" FROM "tyler" WHERE "multiplier_1"='11.5x';