TSTP Solution File: RNG010-1 by Nitpick---2016