TSTP Solution File: ARI546_1 by SInE---0.4