TSTP Solution File: SEU696^2 by SInE---0.4