0.49/0.70	unsat
