TSTP Solution File: SEU712^1 by SInE---0.4