p6q7r8.unisat