67.91/70.91	unsat
