TSTP Solution File: ARI647_1 by SInE---0.4