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