TSTP Solution File: ARI283_1 by SRASS---0.1