67.58/69.44	unsat
