1.50/1.53	c found falsified original clause
1.58/1.60	unsat
