unsat view 3