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