17.65/17.71	unsat
