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