13.65/16.17	unsat
