Solved and swept on 17 Jun 2019. The private key for this 85-bit puzzle was found inside [2^84, 2^85) and the balance was moved out.
A solved puzzle is a benchmark. Running a cracker against it should recover the real private key, which is how you tell genuine code from a toy. Puzzle #85 needs about 2^83 key tests on average.