67.32/69.17	unsat
