TSTP Solution File: REL016-3 by SInE---0.4