10.07/13.61	c found falsified original clause
10.07/14.06	unsat
