18.15/18.24	c found falsified original clause
18.54/18.76	unsat
