TSTP Solution File: ALG410-1 by Nitpick---2016