Enviar aquest missatge de text: On the complexity of Hilbert refutations for partition