Resolucija na podlagi vrste neznank