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