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