VTRND VSatisfying