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