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