69.75/70.68	unsat
