Didn't get a 1099-NEC

I did not receive a 1099-NEC from a company that declared bankruptcy, apparently it was the totally kaput type.  I can’t reach anyone at the company to get help.  It is possible they filed it electronically with the IRS, but I have no way of knowing.  I have all of their information, including their EIN, which makes me wonder if I should file as if I got a 1099-NEC?  I know the exact amount so that isn’t an issue. My only other option is to put it on line 1a of my schedule C.   Suggestions are appreciated, thanks in advance.