18.65/19.73	unsat
