Priority SAT is under construction