Honestly, I wouldn't expect these to sell. But let's assume I'm wrong.
If it were me, I would price both domains aggressively (meaning low) in order to maximize the already low chance of a sale.
I'd recommend a "buy now" price between $300 and $800 on both domains. If doing end user outreach, I'd quote something a bit higher ($500 to $1,500), anticipating some haggling.
For these particular domains, I'd recommend selling for a low amount (possibly quite low) just to move on to something better.