20.06/20.29	c found falsified original clause
20.06/20.40	unsat
