13.65/14.33	unsat
