11.65/11.74	unsat
