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