TSTP Solution File: ARI653_1 by SInE---0.4