TSTP Solution File: ARI713_1 by Nitpick---2016