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