TSTP Solution File: ARI547_1 by SInE---0.4