TSTP Solution File: ARI374_1 by Nitpick---2016