TSTP Solution File: ARI399_1 by SInE---0.4