13.65/13.89	unsat
