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