unsatisfyable view 3