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