a0b1c.unisat