asynch solving on random levels