11.65/11.75	unsat
