SAT-features/VARSAT
