10.65/12.75	unsat
