( u&a b^Uop ; tp min instanäc