22.86/25.68	c found falsified original clause
22.86/25.79	unsat
