TSTP Solution File: SET111-7 by SInE---0.4