18.65/20.29	unsat
