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