TSTP Solution File: ALG038+1 by Nitpick---2016