7.13/7.17	c found falsified original clause
7.57/7.65	unsat
