TSTP Solution File: RNG035-7 by Nitpick---2016