13.65/14.39	unsat
