if there is a TC proof than why is it unknown computational class --Yayimhere (talk) 07:37, 31 August 2024 (UTC)