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