10.27/12.01	c found falsified original clause
10.27/13.50	unsat
