7.58/7.64	unsat
