TSTP Solution File: ARI715_1 by Nitpick---2016