TSTP Solution File: SEV069^6 by SInE---0.4