Vara-SAT Monitor Function