0.00/0.94	c found falsified original clause
0.00/1.09	unsat
0.00/1.09	(error "line 171 column 10: check annotation that says sat")
