0.69/0.70	unsat
