11.65/11.78	unsat
