12.65/12.93	unsat
