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