updated with blsat