TSTP Solution File: ARI446_1 by SInE---0.4