67.82/70.09	unsat
