Shelf:SAT tests