24.65/25.56	unsat
