19.65/23.94	unsat
