n>xSAT