67.49/70.52	unsat
