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