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