TSTP Solution File: RNG004-1 by SInE---0.4