TSTP Solution File: ALG214+2 by Nitpick---2016