TSTP Solution File: ARI187_1 by SRASS---0.1