0.65/0.72	unsat
