ExactAlgorithmTom