Just print a 35T coin.  Problem solved.  One way or another that's what'll happen.