1.48/1.50	c found falsified original clause
1.48/1.51	unsat
