69.91/70.57	unsat
