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