with ucs
full search strategies