TSTP Solution File: ARI418_1 by SInE---0.4