What is top speed of a petrol engine at ps (kw; bhp)@5250-6250?
CREATE TABLE "petrol_engines" (
  "model" text,
  "years" text,
  "type_code" text,
  "transmission" text,
  "max_power" text,
  "torque" text,
  "0_km_h_mph_sec" text,
  "top_speed" text
);
SELECT "top_speed" FROM "petrol_engines" WHERE "max_power"='PS (kW; bhp)@5250-6250';