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