TSTP Solution File: ARI131_1 by SInE---0.4