TSTP Solution File: ARI693_1 by SInE---0.4