Simple guessing for unsatisfiable package specs