TSTP Solution File: RNG122+4 by Refute---2015