68.08/70.83	unsat
