0.68/0.70	unsat
