19.65/20.07	unsat
