TSTP Solution File: ARI586_1 by SRASS---0.1