TSTP Solution File: RNG001-5 by Refute---2015