You might want to learn how the negs will look at 4 stops under and enjoy the experience/ education of trying to print from the best of them. It won't cost a great deal to process the negs. Have a look at them then decide what to do.

There should be a few suggestions as to which of the developers you have, will be the best and what processing regime will have the best chance.

If Kodak 3200 has a real speed of 1000 but acceptable prints can be made at an EI of 12,500 then there might be some chance of something coming out. Treat it as a learning experience, expect nothing at all from the negs and treat anything more than nothing as a bonus.