satisfaising n ; 3 | ScratchStats