TSTP Solution File: ARI250_1 by Nitpick---2016