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: list of the busiest airports in brazil
Table Content:
| rank | location | total passengers | annual change | capacity in use |
| --- | --- | --- | --- | --- |
| 1 | são paulo | 13611227 | 12.8% | 113.4% |
| 2 | são paulo | 12940193 | 11.7% | 78.4% |
| 3 | brasília | 9926786 | 45.1% | 134.1% |
| 4 | rio de janeiro | 6024930 | 30.4% | 40.2% |
| 5 | rio de janeiro | 4887306 | 9.2% | 152.7% |
| 6 | salvador | 4145371 | 20.0% | 69.1% |
| 7 | porto alegre | 3215545 | 11.6% | 52.7% |
| 8 | belo horizonte | 3194715 | 7.5% | 213.0% |
| 9 | recife | 3173672 | 16.1% | 63.5% |
| 10 | curitiba | 2840349 | 13.0% | 81.2% |
| 11 | fortaleza | 2317869 | 24.0% | 77.3% |
| 12 | florianópolis | 1382577 | 7.8% | 125.7% |
| 13 | manaus | 1368968 | 10.3% | 75.4% |
| 14 | belém | 1330965 | 13.5% | 49.3% |
| 15 | vitória | 1246222 | 6.1% | 222.5% |


Statement
salvador and rio de janeiro be the only location to see more than 20000000 passenger pass through their airport


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