UNSAT 0 variables con marks