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