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