TSTP Solution File: ARI039_1 by Nitpick---2016