TSTP Solution File: ARI659_1 by SInE---0.4