11.97/14.44	c found falsified original clause
11.97/17.03	unsat
