runs iterations without random UNSATs now