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