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