69.37/70.34	unsat
