12.65/12.72	unsat
