Question: Which manufacturer has a time of +10.142?
SQL: SELECT Manufacturer FROM table WHERE Time = +10.142