67.91/70.83	unsat
