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