19.65/21.37	unsat
