TSTP Solution File: ARI654_1 by SInE---0.4