TSTP Solution File: ARI108_1 by SRASS---0.1