Give you a statement and table with its title in Markdown format, please determine whether the statement is supported or refuted by, or is unrelated to the table. It'a binary classification problem, you should choose the answer between supported and refuted. Table cells in one row are seperated by '|', and different rows are seperated by '
'.

Table:
| driver | constructor | laps | time / retired | grid |
| alain prost | mclaren - tag | 61 | 1:39:45.141 | 5 |
| nelson piquet | williams - honda | 61 | + 40.547 | 2 |
| stefan johansson | mclaren - tag | 61 | + 56.758 | 10 |
| gerhard berger | ferrari | 61 | + 1:39.235 | 7 |
| thierry boutsen | benetton - ford | 60 | + 1 lap | 6 |
| nigel mansell | williams - honda | 60 | + 1 lap | 1 |
| satoru nakajima | lotus - honda | 59 | + 2 laps | 12 |
| michele alboreto | ferrari | 58 | spun off | 9 |
| christian danner | zakspeed | 58 | + 3 laps | 17 |
| jonathan palmer | tyrrell - ford | 58 | + 3 laps | 18 |
| philippe streiff | tyrrell - ford | 57 | + 4 laps | 20 |
| pascal fabre | ags - ford | 55 | + 6 laps | 22 |
| eddie cheever | arrows - megatron | 52 | overheating | 14 |
| ayrton senna | lotus - honda | 50 | engine | 3 |
| riccardo patrese | brabham - bmw | 48 | electrical | 11 |
| andrea de cesaris | brabham - bmw | 21 | differential | 13 |
| derek warwick | arrows - megatron | 20 | engine | 8 |
| alex caffi | osella - alfa romeo | 20 | withdrew | 21 |
| alessandro nannini | minardi - motori moderni | 17 | suspension | 15 |
| martin brundle | zakspeed | 15 | turbo | 19 |
| teo fabi | benetton - ford | 9 | turbo | 4 |
| adriã¡n campos | minardi - motori moderni | 3 | disqualified | 16 |
| ivan capelli | march - ford | 0 | non starter | 23 |
Title:
1987 brazilian grand prix
Statement:
the engine was listed as a cause for a run being retired five times
Answer:
refuted