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