TSTP Solution File: ARI392_1 by Nitpick---2016