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 |
| nigel mansell | williams - honda | 43 | 1:27:57.925 | 5 |
| ayrton senna | lotus - renault | 43 | + 19.827 | 4 |
| stefan johansson | ferrari | 43 | + 23.592 | 11 |
| michele alboreto | ferrari | 43 | + 29.634 | 9 |
| jacques laffite | ligier - renault | 43 | + 1:10.690 | 17 |
| alain prost | mclaren - tag | 43 | + 2:17.772 | 3 |
| teo fabi | benetton - bmw | 42 | + 1 lap | 6 |
| riccardo patrese | brabham - bmw | 42 | + 1 lap | 15 |
| marc surer | arrows - bmw | 41 | + 2 laps | 21 |
| gerhard berger | benetton - bmw | 41 | + 2 laps | 2 |
| alan jones | lola - ford | 40 | out of fuel | 16 |
| philippe streiff | tyrrell - renault | 40 | + 3 laps | 18 |
| jonathan palmer | zakspeed | 37 | + 6 laps | 20 |
| andrea de cesaris | minardi - motori moderni | 35 | out of fuel | 19 |
| huub rothengatter | zakspeed | 25 | electrical | 23 |
| martin brundle | tyrrell - renault | 25 | gearbox | 12 |
| alessandro nannini | minardi - motori moderni | 24 | gearbox | 22 |
| renã arnoux | ligier - renault | 23 | engine | 7 |
| nelson piquet | williams - honda | 16 | turbo | 1 |
| thierry boutsen | arrows - bmw | 7 | electrical | 14 |
| johnny dumfries | lotus - renault | 7 | spun off | 13 |
| keke rosberg | mclaren - tag | 6 | engine | 8 |
| piercarlo ghinzani | osella - alfa romeo | 3 | engine | 24 |
| christian danner | osella - alfa romeo | 2 | engine | 25 |
| patrick tambay | lola - ford | 0 | accident | 10 |
Title:
1986 belgian grand prix
Statement:
stefan johansson completed less laps than martin brundle
Answer:
refuted