TSTP Solution File: ARI411_1 by CARINE---0.734