user: Question: Which manufacturer has a time of +10.142?
Columns: ['Rider', 'Manufacturer', 'Laps', 'Time', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Dani Pedrosa', 'Honda', 27.0, '45:35:121', 2.0]
SQL:

assistant: SELECT "Manufacturer" FROM "Table" WHERE "Time" = '+10.142';