TSTP Solution File: ARI013_1 by SRASS---0.1