10.65/13.52	unsat
