TSTP Solution File: ARI074_1 by SRASS---0.1