0.52/0.70	unsat
