13.65/13.90	unsat
