0.62/0.70	unsat
