TSTP Solution File: ARI676_1 by SInE---0.4