TSTP Solution File: ARI363_1 by Nitpick---2016