239.65/242.52	unsat
