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