TSTP Solution File: ALG131+1 by Refute---2015