0.67/0.70	unsat
