0.70/0.72	unsat
