CREATE TABLE table_50727 ("Rider" TEXT, "Manufacturer" TEXT, "Laps" FLOAT, "Time" TEXT, "Grid" FLOAT)

Which manufacturer has a time of +10.142?
SELECT "Manufacturer" FROM table_50727 WHERE "Time" = '+10.142'
SELECT "Manufacturer" FROM "table_50727" WHERE "Time" = '+10.142'