0.47/0.70	unsat
