TSTP Solution File: ARI131_1 by Nitpick---2016