17.65/20.86	unsat
