TSTP Solution File: ARI757_1 by Nitpick---2016