unsat view 2