TSTP Solution File: ARI598_1 by SRASS---0.1