TSTP Solution File: ARI493_1 by SInE---0.4