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