Solver: + filter of problems to constructor
Solution: + check on valid
Problem: - logging