TSTP Solution File: RNG079+2 by Nitpick---2016