TSTP Solution File: RNG086+2 by Nitpick---2016