69.42/70.23	unsat
