TSTP Solution File: ARI520_1 by Nitpick---2016