19.65/23.37	unsat
