TSTP Solution File: ARI687_1 by Nitpick---2016