TSTP Solution File: RNG019-6 by SInE---0.4