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:
| state (class) | vacator | reason for change | successor | date of successors formal installation |
| virginia (1) | vacant | failure to elect | isaac s pennybacker ( d ) | elected december 3 , 1845 |
| massachusetts (2) | isaac c bates ( w ) | died march 16 , 1845 | john davis ( w ) | elected march 24 , 1845 |
| new hampshire (2) | benning w jenness ( d ) | resigned june 13 , 1846 after successor elected | joseph cilley ( d ) | elected june 13 , 1846 |
| south carolina (3) | george mcduffie ( d ) | resigned august 17 , 1846 | andrew butler ( d ) | elected december 4 , 1846 |
| iowa (2) | iowa admitted to the union december 28 , 1846 | iowa admitted to the union december 28 , 1846 | vacant | not filled this term |
| iowa (3) | iowa admitted to the union december 28 , 1846 | iowa admitted to the union december 28 , 1846 | vacant | not filled this term |
| louisiana (2) | alexander barrow ( w ) | died december 29 , 1846 | pierre soulã ( d ) | elected january 21 , 1847 |
Title:
29th united states congress
Statement:
john davis ( w ) was formally installed earlier than isaac s pennybacker 's date of formal installation
Answer:
supported