TSTP Solution File: DAT066_1 by SInE---0.4