TSTP Solution File: ARI065_1 by SInE---0.4