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 |
| ayrton senna | lotus - renault | 67 | 2:00:28.006 | 1 |
| michele alboreto | ferrari | 67 | + 1:02.978 | 5 |
| patrick tambay | renault | 66 | + 1 lap | 12 |
| elio de angelis | lotus - renault | 66 | + 1 lap | 4 |
| nigel mansell | williams - honda | 65 | + 2 laps | 9 |
| stefan bellof | tyrrell - ford | 65 | + 2 laps | 21 |
| derek warwick | renault | 65 | + 2 laps | 6 |
| stefan johansson | ferrari | 62 | + 5 laps | 11 |
| piercarlo ghinzani | osella - alfa romeo | 61 | + 6 laps | 26 |
| manfred winkelhock | ram - hart | 50 | not classified | 15 |
| niki lauda | mclaren - tag | 49 | engine | 7 |
| eddie cheever | alfa romeo | 36 | engine | 14 |
| alain prost | mclaren - tag | 30 | spun off | 2 |
| andrea de cesaris | ligier - renault | 29 | tyre | 8 |
| nelson piquet | brabham - bmw | 28 | tyre | 16 |
| thierry boutsen | arrows - bmw | 28 | electrical | 10 |
| martin brundle | tyrrell - ford | 20 | transmission | 22 |
| mauro baldi | spirit - hart | 19 | spun off | 24 |
| keke rosberg | williams - honda | 16 | spun off | 3 |
| jacques laffite | ligier - renault | 15 | tyre | 18 |
| gerhard berger | arrows - bmw | 12 | spun off | 17 |
| pierluigi martini | minardi - ford | 12 | spun off | 25 |
| riccardo patrese | alfa romeo | 4 | spun off | 13 |
| philippe alliot | ram - hart | 3 | spun off | 20 |
| franã§ois hesnault | brabham - bmw | 3 | electrical | 19 |
| jonathan palmer | zakspeed | 2 | suspension | 23 |
Title:
1985 portuguese grand prix
Statement:
spirit - hart is the only constructor not listed two times in the table
Answer:
refuted