n6o7p8.unisat