Anfonwch hwn fel neges destun: On the complexity of Hilbert refutations for partition