TSTP Solution File: RNG122+1 by Nitpick---2016