0.10/0.70	unsat
