user
Instruction
This is a table fact verification task. The goal of this task is to distinguish whether the given statement is entailed or refuted by the given table.


Table
Table Title: swimming at the 2007 world aquatics championships - men 's 50 metre butterfly
Table Content:
| heat rank | lane | swimmer | country | time | overall rank |
| --- | --- | --- | --- | --- | --- |
| 1 | 8 | erik rajohnson | madagascar | 26.68 | 92 |
| 2 | 4 | yassir abalalla | bolivia | 27.09 | 98 |
| 3 | 3 | jonathan calderon | saint lucia | 27.16 | 101 |
| 4 | 7 | leonel dos santos matonse | mozambique | 27.41 | 104 |
| 5 | 5 | luke hall | swaziland | 27.47 | 105 |
| 6 | 6 | naji askia ferguson | grenada | 27.55 | 107 |
| 7 | 2 | marco camargo gonzalez | ecuador | 27.66 | 108 |
| 8 | 1 | jamie zammitt | gibraltar | 28.17 | 121 |


Statement
jamie zammit be the swimmer who have the highest overall rank which be 500 and a time of 20.00


Answer Format
The final answer should be either "entailed" or "refuted" and use the following format:
```json
{
    "answer": "entailed" or "refuted"
}
```
rule
["refuted"]