new exact alg