TSTP Solution File: REL019-2 by SInE---0.4