New: pcbsat