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