satisfiable view 2