TSTP Solution File: RNG019-6 by Refute---2015