66.68/69.70	unsat
