TSTP Solution File: ARI185_1 by Nitpick---2016