I don't think it can be, you have to guess the resolver's solutions