0.00/3.65	c found falsified original clause
4.50/4.60	unsat
