17.65/18.95	unsat
