23.65/26.06	unsat
