19.65/20.34	unsat
