67.39/70.55	unsat
