TSTP Solution File: ARI189_1 by SInE---0.4