exact and approximate problem solutions