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