Unsolvable tasks that are detected as unsolvable by h^seq are not detected
correctly by a potential heuristic that maximizes the heuristic value of the
initial state. The issue is that PotentialOptimizer::solve_and_extract() does
nothing if the LP is unbounded or infeasible. We will have to think about how to
fix this, because the method is used by different optimizations.