satisfiable 0 B