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