0.58/0.70	unsat
