11.65/12.74	unsat
