17.65/20.47	unsat
