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 | 65 | 1:18:10.436 | 3 |
| michele alboreto | ferrari | 64 | + 1 lap | 6 |
| jacques laffite | ligier - renault | 64 | + 1 lap | 16 |
| nelson piquet | brabham - bmw | 64 | + 1 lap | 2 |
| derek warwick | renault | 64 | + 1 lap | 12 |
| marc surer | brabham - bmw | 63 | + 2 laps | 15 |
| martin brundle | tyrrell - renault | 63 | + 2 laps | 20 |
| gerhard berger | arrows - bmw | 63 | + 2 laps | 17 |
| riccardo patrese | alfa romeo | 62 | + 3 laps | 14 |
| ayrton senna | lotus - renault | 60 | fuel injection , electronics | 4 |
| stefan bellof | tyrrell - ford | 59 | + 6 laps | 26 |
| niki lauda | mclaren - tag | 57 | electrical | 10 |
| thierry boutsen | arrows - bmw | 57 | spun off | 19 |
| andrea de cesaris | ligier - renault | 41 | clutch | 7 |
| pierluigi martini | minardi - motori moderni | 38 | transmission | 23 |
| elio de angelis | lotus - renault | 37 | not classified | 8 |
| manfred winkelhock | ram - hart | 28 | turbo | 18 |
| keke rosberg | williams - honda | 21 | exhaust | 1 |
| nigel mansell | williams - honda | 17 | clutch | 5 |
| eddie cheever | alfa romeo | 17 | turbo | 22 |
| jonathan palmer | zakspeed | 6 | engine | 24 |
| teo fabi | toleman - hart | 4 | transmission | 9 |
| stefan johansson | ferrari | 1 | accident | 11 |
| patrick tambay | renault | 0 | collision | 13 |
| philippe alliot | ram - hart | 0 | accident | 21 |
| piercarlo ghinzani | osella - alfa romeo | 0 | accident | 25 |
Title:
1985 british grand prix
Statement:
alain prost completed 64 laps and stefan johansson did more
Answer:
refuted