69.03/70.82	unsat
