819.65/821.34	unsat
