Really cool PoC. Though there is a lot of work that has to be done to get this production-ready, I really can't imagine it being more than $1-5m. I'd be really interested to see how the $86m breaks down.
86m on a government project breaks down to about 1-5m in development budget.