13.65/15.69	unsat
