satisfiable view 3