TSTP Solution File: ALG344-1 by Refute---2015