69.66/70.64	unsat
