TSTP Solution File: SEU930^5 by SInE---0.4