19.65/22.62	unsat
