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