8.19/8.84	c found falsified original clause
8.19/9.19	unsat
