TSTP Solution File: ARI579_3 by SRASS---0.1