TSTP Solution File: ARI621_2 by Nitpick---2016