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