6.85/11.19	c found falsified original clause
11.86/11.91	unsat
