TSTP Solution File: ARI680_1 by SInE---0.4