TSTP Solution File: ARI103_1 by SInE---0.4