TSTP Solution File: DAT077_1 by SInE---0.4