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