12.65/12.78	unsat
